- абстрактное доказательство
- abstract proof
Русско-английский словарь по электронике. 2009.
абстрактное доказательство
Look at other dictionaries:
НЕРОНА-СЕВЕРИ ГРУППА — группа классов дивизоров по отношению алгебраич. эквивалентности на неособом проективном многообразии. Пусть X неособое проективное многообразие размерности , определенное над алгебраически замкнутым полем группа дивизоров многообразия X, а… … Математическая энциклопедия
Геометрия — (греч. geometria, от ge Земля и metreo мерю) раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Происхождение термина «Г. , что… … Большая советская энциклопедия
АРИСТОТЕЛЬ — (Aristoteles) (384 322 до н.э.) великий др. греч. философ и ученый, создатель логики, основатель психологии, этики, политики, поэтики как самостоятельных наук. Родившись на северо востоке Греции (г. Стагира), провел 20 лет в Академии Платона (см … Философская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
ФУНКЦИЙ ТЕОРИЯ — раздел математики, занимающийся изучением свойств различных функций. Теория функций распадается на две области: теорию функций действительного переменного и теорию функций комплексного переменного, различие между которыми настолько велико, что… … Энциклопедия Кольера
МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… … Философская энциклопедия
МАТЕМАТИКИ ИСТОРИЯ — Самой древней математической деятельностью был счет. Счет был необходим, чтобы следить за поголовьем скота и вести торговлю. Некоторые первобытные племена подсчитывали количество предметов, сопоставляя им различные части тела, главным образом… … Энциклопедия Кольера
АНАЛОГИЯ — (от греч. analogia соответствие) сходство между предметами, явлениями и т.д. Умозаключение по А. (или просто А.) индуктивное умозаключение, когда на основе сходства двух объектов по каким то одним параметрам делается вывод об их сходстве по др.… … Философская энциклопедия
ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… … Философская энциклопедия
БОНАВЕНТУРА — [лат. Bonaventura; наст. имя Иоанн Фиданца] (1217 (или 1221), Баньорея (совр. Баньореджо), Тоскана 15.07.1274, Лион), еп. Альбанский, св. католич. Церкви (пам. 15 июля), средневек. зап. богослов, кардинал. Жизнь Б. был сыном Иоанна Фиданца и… … Православная энциклопедия
